Modal algebra - PDFSEARCH.IO - Document Search Engine

Modal algebra
Results: 105

#	Item
71	14 Vittorio: Riccardo: Sergio: Riccardo: Vittorio: Add to Reading List Source URL: webdam.inria.fr Language: English - Date: 2010-02-12 06:45:46 Relational model Lambda calculus Formal methods FO Finite model theory Relational algebra Fixed-point combinator Modal logic Theoretical computer science Applied mathematics Mathematical logic
72	Modal logic of the planar polygons Add to Reading List Source URL: politicalmashup.nl Language: English - Date: 2014-08-08 06:32:39 Modal logic Philosophical logic Boolean algebra Non-classical logic Interior algebra Kripke semantics Closure Logic Mathematics Mathematical logic
73	authors: eberhard von goldammer, joachim paul, and joe newbury august-2003 Heterarchy – Hierarchy Two complementary categories of description Add to Reading List Source URL: www.vordenker.de Language: English - Date: 2012-04-05 05:00:07 Philosophical logic Elementary algebra Propositional calculus Hierarchy Networks Heterarchy Modal logic Transitive relation Transitivity Logic Mathematics Mathematical logic
74	Multi-Valued Symbolic Model-Checking MARSHA CHECHIK, BENET DEVEREUX, STEVE EASTERBROOK AND ARIE GURFINKEL University of Toronto This paper introduces the concept of multi-valued model-checking and describes a multi-valu Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2003-07-30 17:15:50 Algebraic logic Algebraic structures Non-classical logic Boolean algebra Abstract algebra Heyting algebra Model theory Modal logic Many-valued logic Mathematical logic Logic Mathematics
75	A Semantics for a Logic of Authentication (Extended Abstract) Martn Abadi Digital Equipment Corporation Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2007-04-26 00:00:00 Cryptographic protocols Propositional calculus Boolean algebra Classical logic Kerberos Modal logic Public-key cryptography Yahalom Burrows–Abadi–Needham logic Logic Cryptography Mathematical logic
76	always more Greg Restall School of Philosophy, Anthropology and Social Inquiry The University of Melbourne [removed] Add to Reading List Source URL: www.consequently.org Language: English - Date: 2010-11-15 08:48:37 Boolean algebra Modal logic Semantics Proposition Negation Tautology Possible world Contingency Atomic formula Logic Mathematical logic Propositional calculus
77	Technical Communications of the International Conference on Logic Programming, 2010 (Edinburgh), pp. 34–43 http://www.floc-conference.org/ICLP-home.html COMMUNICATING ANSWER SET PROGRAMS KIM BAUTERS 1 AND JEROEN JANSSE Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2011-07-25 12:47:16 Mathematical logic Boolean algebra Stable model semantics Answer set programming Rules of inference Literal Negation Modal logic Logic programming Logic Propositional calculus
78	Weak and strong disjunction in possibilistic ASP Kim Bauters1? , Steven Schockaert1?? , Martine De Cock1 , and Dirk Vermeir2 1 Department of Applied Mathematics and Computer Science Universiteit Gent, Krijgslaan 281, 900 Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2011-06-17 07:43:23 Propositional calculus Boolean algebra Non-classical logic Philosophical logic Stable model semantics Answer set programming Modal logic Clause Negation Logic Logic programming Mathematical logic
79	Semantics for possibilistic answer set programs: uncertain rules versus rules with uncertain conclusions Kim Bautersa,, Steven Schockaertb , Martine De Cocka , Dirk Vermeirc a Department of Applied Mathematics and Compu Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2014-02-28 16:22:11 Semantics Philosophical logic Stable model semantics Model theory Answer set programming Modal logic Term algebra Negation Interpretation Logic programming Logic Mathematical logic
80	AG15 RED AND BLUE Alessio Guglielmi (TU Dresden and University of Bath[removed]This note needs to be read in colour to be meaningful! Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:37:48 Non-classical logic Logical connectives Propositional calculus Boolean algebra Linear logic Negation Sequent calculus Modal logic Deep inference Logic Mathematical logic Proof theory

UPDATE